proving that is divisible by